Model-Checking Process Equivalences

Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal process equivalences, ranging from bisimulation to trace equivalence, categorised in the linear-time branching-time spectrum. We present a logical framework based on an expressive modal fixpoint logic which is capable of defining many process equivalence relations: for each such equivalence there is a fixed formula which is satisfied by a pair of processes if and only if they are equivalent with respect to this relation. We explain how to do model checking, even symbolically, for a significant fragment of this logic that captures many process equivalences. This allows model checking technology to be used for process equivalence checking. We show how partial evaluation can be used to obtain decision procedures for process equivalences from the generic model checking scheme.Comment: In Proceedings GandALF 2012, arXiv:1210.202

Estrategias metodológicas que se pueden implementar para la enseñanza-aprendizaje de la teoría del Lenguaje Musical en los estudiantes del 7mo grado A del colegio Doris María Morales del Distrito V de Managua en el II semestre del 2022.

En la presente investigación, se presentará cada uno de los aspectos que están contenidos en el foco, el cual cuenta con una introducción, cuestiones de investigación, propósitos de la investigación, marco teórico, matriz de descriptores, perspectiva de la investigación, análisis e interpretación de los resultados, conclusiones, recomendaciones, referencias bibliográficas y anexos. El presente trabajo de investigación se enfocó analizar las estrategias metodológicas que se pueden implementar para la enseñanza-aprendizaje de la teoría del Lenguaje Musical en los estudiantes del 7mo grado A del colegio Doris María Morales del Distrito V de Managua, durante el II semestre del 2022. En esta investigación se utilizaron instrumentos para la recolección de la información como la entrevista y guía de observación. Entre los resultados se encontró que la enseñanza aprendizaje del docente es meramente empírica, no utiliza las estrategias metodológicas pertinentes para enseñar la teoría del lenguaje musical, además de la gran cantidad de estudiantes que atiende y la indisciplina que se forma en el salón de clase

Changes in Gut Microbiota Induced by Doxycycline Influence in Vascular Function and Development of Hypertension in DOCA-Salt Rats

Previous experiments in animals and humans show that shifts in microbiota and its metabolites are linked to hypertension. The present study investigates whether doxycycline (DOX, a broad-spectrum tetracycline antibiotic) improves dysbiosis, prevent cardiovascular pathology and attenuate hypertension in deoxycorticosterone acetate (DOCA)-salt rats, a renin-independent model of hypertension. Male Wistar rats were randomly assigned to three groups: control, DOCA-salt hypertensive rats, DOCA-salt treated with DOX for 4 weeks. DOX decreased systolic blood pressure, improving endothelial dysfunction and reducing aortic oxidative stress and inflammation. DOX decreased lactate-producing bacterial population and plasma lactate levels, improved gut barrier integrity, normalized endotoxemia, plasma noradrenaline levels and restored the Treg content in aorta. These data demonstrate that DOX through direct effects on gut microbiota and its non-microbial effects (anti-inflammatory and immunomodulatory) reduces endothelial dysfunction and the increase in blood pressure in this low-renin form of hypertension.Grants from Comisión Interministerial de Ciencia y Tecnología, Ministerio de Economía y competitividad (SAF2017-84894-R)Ministerio de Ciencia e Innovación (PID2020-116347RB-I00)Junta de Andalucía (CTS-164, P20_00193)European Union, and by the Ministerio de Economia y Competitividad, Instituto de Salud Carlos III (CIBER-CV; Ciberes)Instituto de Salud Carlos III (Sara Borrell Program)European Union (Fondo Europeo de Desarrollo Regional, FEDER, “FEDER una manera de hacer Europa”

Vasoconstrictor and Pressor Effects of Des-Aspartate-Angiotensin I in Rat.

© 2023 The Authors. This document is made available under the CC-BY-NC 4.0 license http://creativecommons.org/licenses/by-nc /4.0/ This document is the Accepted version of a Published Work that appeared in final form in Biomedicines. To access the final edited and published work see https://doi.org/10.3390/biomedicines10061230This study investigated the vasoactive effects of des-aspartate-angiotensin-I (DAA-I) in male Wistar rats on whole body vascular bed, isolated perfused kidneys, and aortic rings. Dose– response curves to DAA-I were compared with those to angiotensin II (Ang II). The Ang II-type-1 (AT1) receptor blocker, losartan, was used to evaluate the role of AT1 receptors in the responses to DAA-I. Studies were also conducted of the responsiveness in aortic rings after endotheliumremoval, nitric oxide synthase inhibition, or AT2 receptor blockade. DAA-I induced a dose-related systemic pressor response that was shifted to the right compared with Ang II. Losartan markedly attenuated the responsiveness to DAA-I. DAA-I showed a similar pattern in renal vasculature and aortic rings. In aortic rings, removal of endothelium and nitric oxide inhibition increased the sensitivity and maximal response to DAA-I and Ang II. AT2 receptor blockade did not significantly affect the responsiveness to DAA-I. According to these findings, DAA-I increases the systemic blood pressure and vascular tone in conductance and resistance vessels via AT1 receptor activation. This vasoconstrictor effect of DAA-I participates in the homeostatic control of arterial pressure, which can also contribute to the pathogenesis of hypertension. DAA-I may therefore be a potential therapeutic target in cardiovascular disease

DEBATES DE PROYECTOS Y AVANCES DE INVESTIGACIÓN. I Jornadas de Estudiantes y Tesistas del Centro de Estudios Avanzados

Las I Jornadas de Estudiantes y Tesistas del Centro de Estudios Avanzados: debates de proyectos y avances de investigación son el resultado de un trabajo previo realizado por la Secretaria de Investigación del CEA con los becarios de investigación que tiene su lugar de trabajo en nuestro centro. En estas reuniones que se realizaron durante el 2011 y el 2012 se pudo reconocer la necesidad de contar con espacios de intercambio entre pares y con otros investigadores formados en el proceso que implica la realización de una tesis de posgrado. El material que se presenta es el producto del trabajo de edición que se llevó a cabo posteriormente al encuentro cuando convocamos a aquellos participantes que estuvieran interesados en publicar sus trabajos siguiendo criterios académicos para su presentación y difusión en la comunidad académica. Este material creemos puede ser de interés para consulta de futuros y actuales tesistas y es también el registro de una intensa actividad intelectual desplegada por los estudiantes del CEA en la etapa de producción de sus tesis. De igual modo es también un mapa de las problemáticas de investigación que se están desarrollando en la actualidad y de los enfoques y estrategias metodológicas asumidas en el campo de las ciencias sociales y las humanidades en un área de posgrado de nuestra Universidad Nacional de Córdoba

Relación altura-diámetro para Abies religiosa Kunth Schltdl. & Cham. en el centro y sur de México

La altura total de los árboles es una variable importante en silvicultura y manejo forestal; sin embargo, su medición en campo es relativamente difícil y costosa. El objetivo de la presente investigación fue desarrollar una ecuación altura-diámetro que permita estimar de forma precisa la altura de árboles de Abies religiosa en el centro y sur de México. Para el ajuste de ecuaciones locales se utilizó un tamaño de muestra de 2 747 datos, que son suficientes para describir el comportamiento de las curvas sobre la variabilidad natural de la altura total de los individuos. Para la selección del mejor modelo se fijaron los siguientes criterios: coeficiente de determinación ajustada, sesgo, error medio; así como, el análisis gráfico y numérico de los residuales. La explicación de las variables independientes de cada modelo fue altamente aceptable, ya que todos fueron superiores (R2adj=0.96), además de presentar errores (REMC) por debajo de 0.44 metros y con sesgos cercanos a cero. Aunado a lo anterior, el modelo de Bates y Watts fue seleccionado mediante el análisis gráfico. Este tipo de ecuación es aplicable en las diferentes unidades de manejo forestal del país para trabajos de inventarios forestales; ya que reduce el tiempo, costo y, a su vez, minimizan los errores de campo

Autoimmune Diseases and COVID-19 as Risk Factors for Poor Outcomes: Data on 13,940 Hospitalized Patients from the Spanish Nationwide SEMI-COVID-19 Registry

(1) Objectives: To describe the clinical characteristics and clinical course of hospitalized patients with COVID-19 and autoimmune diseases (ADs) compared to the general population. (2) Methods: We used information available in the nationwide Spanish SEMI-COVID-19 Registry, which retrospectively compiles data from the first admission of adult patients with COVID-19. We selected all patients with ADs included in the registry and compared them to the remaining patients. The primary outcome was all-cause mortality during admission, readmission, and subsequent admissions, and secondary outcomes were a composite outcome including the need for intensive care unit (ICU) admission, invasive and non-invasive mechanical ventilation (MV), or death, as well as in-hospital complications. (3) Results: A total of 13,940 patients diagnosed with COVID-19 were included, of which 362 (2.6%) had an AD. Patients with ADs were older, more likely to be female, and had greater comorbidity. On the multivariate logistic regression analysis, which involved the inverse propensity score weighting method, AD as a whole was not associated with an increased risk of any of the outcome variables. Habitual treatment with corticosteroids (CSs), age, Barthel Index score, and comorbidity were associated with poor outcomes. Biological disease-modifying anti-rheumatic drugs (bDMARDs) were associated with a decrease in mortality in patients with AD. (4) Conclusions: The analysis of the SEMI-COVID-19 Registry shows that ADs do not lead to a different prognosis, measured by mortality, complications, or the composite outcome. Considered individually, it seems that some diseases entail a different prognosis than that of the general population. Immunosuppressive/immunoregulatory treatments (IST) prior to admission had variable effects

Strengthening Supersalud is a priority to guarantee the fundamental right to health

El fortalecimiento técnico de la Superintendencia Nacional de Salud (SuperSalud), ente de inspección, vigilancia y control del Sistema General de Seguridad Social en Salud de Colombia, es necesario. Para tal fin, se propone el uso eficiente de los sistemas de información, que permita la toma de decisiones en política pública y que garantice el derecho fundamental de la salud.The technical strengthening of the National Superintendence of Health, an inspection, surveil-lance and control entity of the General System of Social Security in Health of Colombia, is nec-essary. For this, the efficient implementation of information systems will allow decision-making in public policy that guarantees the fundamental right to health.https://orcid.org/0000-0003-4579-6033Revista Nacional - IndexadaN